Max van Berchem

On ( Min , Max , + ) - Inequalitiesjacob Van Der Woude And

Van Overwalle

————— The author is affiliated with the Department of Psychology of the Vrije Universiteit Brussel. I wish to thank Christel Symens for conducting some of the experiments. Correspondence concerning this article should be adressed to: Frank Van Overwalle, Department of Psychology, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel. E-mail: [email protected] DISCOUNTING AND AUGMENTA...

Random Max 2-sat and Max Cut

Given a 2-SAT formula F consisting of n variables and b n random clauses, what is the largest number of clauses maxF satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of 34 n and n. We prove that for < 1, the expected number of clauses satisfiable is b n o(1); for large , it is ( 34 + (p ))n; for = 1 + ", it is at least (1 + " O("3))n and at m...

Modelling Max-CSP as Partial Max-SAT

We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental investigation that was conducted to compare the performance profile of our encodings on random binary Max-CSP instances. Moreover, we define a new variant of the support encoding...

Defending commercial surrogate motherhood against Van Niekerk and Van Zyl.

The arguments of Van Niekerk and Van Zyl that, on the grounds that it involves an inappropriate commodification and alienation of women's labour, commercial surrogate motherhood (CSM) is morally suspect are discussed and considered to be defective. In addition, doubt is cast on the notion that CSM should be illegal.